Exceptions in Concurrent Eiffel

نویسندگان

Phillip J. Brooke

Richard F. Paige

چکیده

We describe the problem of asynchronous exceptions in Eiffel’s Simple Concurrent Object-Oriented Programming (SCOOP). We discuss a range of possible solutions to further enable dependable computing in concurrent Eiffel. We propose a mechanism to handle aynchronous exceptions via a limited developer choice, including the notion of a failed or dead object, and necessarily introduce a small number of new exceptions. We additionally describe a number of mechanisms that were discarded as unsuitable.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

- 1 - Concurrency Annotations for Reusable Concurrent Software

Concurrency annotations are inserted into otherwise sequential object-oriented code, inducing a concurrent semantics that is very close to the original sequential semantics. This facilitates integrated engineering of sequential and concurrent software, in particular reuse of code across the boundary between concurrency and sequentiality. Concurrency annotations also blend well with inheritance,...

متن کامل

Integrating SCOOP into EVE

SCOOP (Simple Concurrent Object-Oriented Programming) is a simple but very powerful O-O contract based framework for concurrent programming. The idea which was initially published in 1990 has since been developed to a comprehensive model with enriched type system, generalized semantics of contracts, flexible locking policy and library implementation. To use SCOOP one important step is missing: ...

متن کامل

SECG: The SCOOP-to-Eiffel Code Generator

The Simple Concurrent Object-Oriented Programming (SCOOP) mechanism introduces inter-object concurrency to the Eiffel language, via addition of one new keyword, separate. We describe a general tool that takes a Eiffel program that uses the separate keyword and translates it into an Eiffel multi-threaded program that uses the Eiffel T HREAD class. The resulting code is thereafter compatible with...

متن کامل

Soundness and Completeness of a Program Logic for Eiffel

Object-oriented languages provide advantages such as reuse and modularity, but they also raise new challenges for program verification. Program logics have been developed for languages such as C# and Java. However, these logics do not cover the specifics of the Eiffel language. This paper presents a program logic for Eiffel that handles exceptions, once routines, and multiple inheritance. The l...

متن کامل